Rusu, Vlad: search on Z-Library

The world's largest scientific articles store. 70,000,000+ articles for free.

1

A generic framework for symbolic execution: A coinductive approach

Lucanu, Dorel, Rusu, Vlad, Arusoaie, Andrei

Journal:

Journal of Symbolic Computation

Year:

2016

Language:

english

File:

PDF, 1.80 MB

english, 2016

2

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 11152 (12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings) || Multi-paradigm Programming in Maude

Year:

2018

Language:

english

File:

PDF, 363 KB

english, 2018

3

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 11152 (12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings) || Proving Structural Properties of Sequent Systems in Rewriting Logic

Year:

2018

Language:

english

File:

PDF, 525 KB

english, 2018

4

Behavior of Historical Printing Inks on Paper in High-Frequency Cold Plasma Discharges

Ioanid, Emil Ghiocel, Frunza, Viorica, Rusu, Dorina Emilia, Vlad, Ana Maria, Savin, Gabriela, Popescu, Carmen-Mihaela

Journal:

IEEE Transactions on Plasma Science

Year:

2019

Language:

english

File:

PDF, 1.22 MB

english, 2019

5

Advancement in the Biomedical Applications of the (Nano)gel Structures Based on Particular Polysaccharides

Chiriac, Aurica P., Ghilan, Alina, Neamtu, Iordana, Nita, Loredana E., Rusu, Alina G., Chiriac, Vlad Mihai

Journal:

Macromolecular Bioscience

Year:

2019

Language:

english

File:

PDF, 3.23 MB

english, 2019

6

(Co)inductive proof systems for compositional proofs in reachability logic

Rusu, Vlad, Nowak, David

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2021

File:

PDF, 751 KB

2021

7

Executing and verifying higher-order functional-imperative programs in Maude

Rusu, Vlad, Arusoaie, Andrei

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2017

Language:

english

File:

PDF, 673 KB

english, 2017

8

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 11152 (12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings) ||

Year:

2018

Language:

english

File:

PDF, 5.32 MB

english, 2018

9

[Lecture Notes in Computer Science] Rewriting Logic and Its Applications Volume 11152 (12th International Workshop, WRLA 2018, Held as a Satellite Event of ETAPS, Thessaloniki, Greece, June 14-15, 2018, Proceedings) || Symbolic Specification and Verification of Data-Aware BPMN Processes Using Rewriting Modulo SMT

Year:

2018

Language:

english

File:

PDF, 766 KB

english, 2018

10

Language definitions as rewrite theories

Rusu, Vlad, Lucanu, Dorel, Şerbănuţă, Traian-Florin, Arusoaie, Andrei, Ştefănescu, Andrei, Roşu, Grigore

Journal:

Journal of Logical and Algebraic Methods in Programming

Year:

2016

Language:

english

File:

PDF, 739 KB

english, 2016

11

Cold High-Frequency Plasma Versus Afterglow Plasma in the Preservation of Mobile Cultural Heritage on Paper Substrate

Rusu, Dorina E., Stratulat, Lacramioara, Ioanid, Ghiocel E., Vlad, A. M.

Journal:

IEEE Transactions on Plasma Science

Year:

2020

Language:

english

File:

PDF, 2.98 MB

english, 2020

12

Physiological Effects of Human-Animal Positive Interaction in Dogs - Review of the Literature

POP, Denisa Ana, RUSU, Alina Simona, POP-VANCEA, Vlad, PAPUC, Ionel, CONTANTINESCU, Radu, MIRESAN, Vioara

Journal:

Bulletin of University of Agricultural Sciences and Veterinary Medicine Cluj-Napoca Animal Science and Biotechnologies

Year:

2014

File:

PDF, 164 KB

2014

13

Chelate polymers. VI. New copolymers of the some siloxane containing bis(2,4-dihydroxybenzaldehyd-imine)Me2+ with bis(p-carboxyphenyl)diphenylsilane

Maria Cazacu, Mihai Marcu, Angelica Vlad, Gheorghe I. Rusu, Mihaela Avadanei

Journal:

Journal of Organometallic Chemistry

Year:

2004

Language:

english

File:

PDF, 338 KB

english, 2004

14

Hybrid Verifications of Reactive Programs

Olivier Roux, Vlad Rusu, Franck Cassez

Journal:

Formal Aspects of Computing

Year:

1999

Language:

english

File:

PDF, 213 KB

english, 1999

15

Friction of the Polymers - Experimental Results and Analytical Model

Rusu, Mihai, Daniela, Ionita, Benchea, Marcelin, Carlescu, Vlad, Olaru, Dumitru

Journal:

Applied Mechanics and Materials

Year:

2016

Language:

english

File:

PDF, 467 KB

english, 2016

16

Functional Polyimide-Based Electrospun Fibers for Biomedical Application

Serbezeanu, Diana, Vlad-Bubulac, Tăchiță, Rusu, Daniela, Grădișteanu Pircalabioru, Grațiela, Samoilă, Iuliana, Dinescu, Sorina, Aflori, Magdalena

Journal:

Year:

2019

Language:

english

File:

PDF, 3.01 MB

english, 2019

17

[IEEE 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - Timisoara (2017.9.21-2017.9.24)] 2017 19th International Symposium on Symbolic and Numeric Algorithms for Scientific Computing (SYNASC) - A Certified Procedure for RL Verification

Arusoaie, Andrei, Nowak, David, Rusu, Vlad, Lucanu, Dorel

Year:

2017

Language:

english

File:

PDF, 231 KB

english, 2017

18

On the Chameleonic Behaviour of Cholesterol through a Fractal/Multifractal Model

Tesloianu, Nicolae Dan, Ghizdovat, Vlad, Agop, Maricel, Rusu, Cristina, Cardoneanu, Anca

Journal:

Computational and Mathematical Methods in Medicine

Year:

2020

File:

PDF, 1.60 MB

2020

19

Combining formal verification and conformance testing for validating reactive systems

Journal:

Software Testing, Verification and Reliability

Year:

2003

Language:

english

File:

PDF, 296 KB

english, 2003

20

Detailed anatomy of a left accessory aberrant colic artery

M. C. Rusu, M. Vlad, L. M. Voinea, G. C. Curcă, A. M. Şişu

Journal:

Surgical and Radiologic Anatomy

Year:

2008

Language:

english

File:

PDF, 292 KB

english, 2008

21

SPIE Proceedings [SPIE SPIE Proceedings - (Sunday 12 February 2012)] - Effect of heat treatment on the structural and optical characteristics of polycrystalline ZnTe thin films

Prepeliţă, P., Rusu, G. G., Rusu, G. I., Vlad, Valentin I.

Year:

2012

Language:

english

File:

PDF, 369 KB

english, 2012

22

SPIE Proceedings [SPIE ROMOPTP '94: 4th Conference on Optics - Bucharest, Romania (Monday 5 September 1994)] ROMOPTO '94: Fourth Conference in Optics - Optical bistability in GaSe single crystals and ZnTe thin films

Mushinschi, V., Caraman, Mihai I., Lichman, V., Ghizdeanu, C., Rusu, G. I., Stamate, Marius D., Vlad, Valentin I.

Year:

1995

Language:

english

File:

PDF, 178 KB

english, 1995

23

SPIE Proceedings [SPIE ROMOPTO '97: Fifth Conference on Optics - Bucharest, Romania (Tuesday 9 September 1997)] ROMOPTO '97: Fifth Conference on Optics - Optical transmission of ZnO thin films

Rusu, Ioan I., Bursuc, Ionel V., Vascan, Ioan, Vlad, Valentin I., Dumitras, Dan C.

Year:

1998

Language:

english

File:

PDF, 301 KB

english, 1998

24

Symbolic execution based on language transformation

Arusoaie, Andrei, Lucanu, Dorel, Rusu, Vlad

Journal:

Computer Languages, Systems & Structures

Year:

2015

Language:

english

File:

PDF, 2.08 MB

english, 2015

25

A language-independent proof system for full program equivalence

Ciobâcă, Ştefan, Lucanu, Dorel, Rusu, Vlad, Roşu, Grigore

Journal:

Formal Aspects of Computing

Year:

2016

Language:

english

File:

PDF, 1.01 MB

english, 2016

26

Prognostic value of lung ultrasonography and bioimpedance spectroscopy in patients with heart failure and reduced ejection fraction

Siriopol, Dimitrie, Siriopol, Mihaela, Mihaila, Mihaela, Rusu, Florentina, Sascau, Radu, Costache, Irina, Vasiliu, Vlad, Bucur, Andreea, Neamtu, Andreea, Popa, Raluca, Cianga, Petru, Kanbay, Mehmet, C

Journal:

Archives of Medical Science

Year:

2020

File:

PDF, 293 KB

2020

27

Synthesis of novel 5-aryl-2-thio-1,3,4-oxadiazoles and the study of their structure–anti-mycobacterial activities

Fliur Macaev, Ghenadie Rusu, Serghei Pogrebnoi, Alexandru Gudima, Eugenia Stingaci, Ludmila Vlad, Nathaly Shvets, Fatma Kandemirli, Anatholy Dimoglo, Robert Reynolds

Journal:

Bioorganic & Medicinal Chemistry

Year:

2005

Language:

english

File:

PDF, 417 KB

english, 2005

28

HF Plasma Discharge for Surface Modification of Cellulose-Based Materials

Ioanid, Emil Ghiocel, Rusu, Dorina Emilia, Ursescu, Marta Cristina, Totolin, Marian, Vlad, Ana Maria

Journal:

IEEE Transactions on Plasma Science

Year:

2013

Language:

english

File:

PDF, 2.73 MB

english, 2013

29

[ACM Press the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium - Vienna, Austria (2001.09.10-2001.09.14)] Proceedings of the 8th European software engineering conference held jointly with 9th ACM SIGSOFT international symposium on Foundations of software engineering - ESEC/FSE-9 - STG

Clarke, Duncan, Jéron, Thierry, Rusu, Vlad, Zinovieva, Elena

Year:

2001

Language:

english

File:

PDF, 90 KB

english, 2001

30

[ACM Press the 2nd ACM SIGSPATIAL International Workshop - Orlando, Florida (2013.11.04-2013.11.04)] Proceedings of the 2nd ACM SIGSPATIAL International Workshop on Analytics for Big Geospatial Data - BigSpatial '13 - Breaking the big data barrier by enhancing on-board sensor flexibility

Baumann, Peter, Dumitru, Alex, Merticariu, Vlad, Misev, Dimitar, Rusu, Mihaela

Year:

2013

Language:

english

File:

PDF, 463 KB

english, 2013

31

Comparative study of mechanical stresses in human limb bones

Drăgulescu, Doina, Rusu, Lucian, Morcovescu, Vlad, Precup, Cris

Journal:

Applied Bionics and Biomechanics

Year:

2004

Language:

english

File:

PDF, 399 KB

english, 2004

32

Equational approximations for tree automata completion

Thomas Genet, Vlad Rusu

Journal:

Journal of Symbolic Computation

Year:

2010

Language:

english

File:

PDF, 645 KB

english, 2010

33

Program equivalence by circular reasoning

Lucanu, Dorel, Rusu, Vlad

Journal:

Formal Aspects of Computing

Year:

2015

Language:

english

File:

PDF, 835 KB

english, 2015

34

SPIE Proceedings [SPIE ROMOPTP '94: 4th Conference on Optics - Bucharest, Romania (Monday 5 September 1994)] ROMOPTO '94: Fourth Conference in Optics - Laser reflective interferometry for in situ monitoring of thin films

Vascan, Ioan, Stamate, Marius D., Lazar, Iuliana-Mihaela J., Lazar, Gabriel-Octavian, Rusu, Ioan I., Vlad, Valentin I.

Year:

1995

Language:

english

File:

PDF, 161 KB

english, 1995

35

SPIE Proceedings [SPIE ROMOPTP '94: 4th Conference on Optics - Bucharest, Romania (Monday 5 September 1994)] ROMOPTO '94: Fourth Conference in Optics - Computer-assisted optics experiments

Lazar, Gabriel-Octavian, Lazar, Iuliana-Mihaela J., Stamate, Marius D., Vascan, Ioan, Rusu, Ioan I., Vlad, Valentin I.

Year:

1995

Language:

english

File:

PDF, 152 KB

english, 1995

36

Influence of Buckwheat and Buckwheat Sprouts Flours on the Nutritional and Textural Parameters of Wheat Buns

Sturza, Alina, PÄucean, Adriana, ChiÈ, Maria Simona, MureÈan, Vlad, Vodnar, Dan Cristian, Man, Simona Maria, Urcan, Adriana Cristina, Rusu, Iulian Eugen, Fostoc, Georgiana, Muste, SevastiÈa

Journal:

Applied Sciences

Year:

2020

File:

PDF, 919 KB

2020

37

Extracting a data flow analyser in constructive logic

David Cachera, Thomas Jensen, David Pichardie, Vlad Rusu

Journal:

Theoretical Computer Science

Year:

2005

Language:

english

File:

PDF, 287 KB

english, 2005

38

SPIE Proceedings [SPIE ROMOPTO International Conference on Micro- to Nano-Photonics III - Bucharest, Romania (Monday 3 September 2012)] ROMOPTO 2012: Tenth Conference on Optics: Micro- to Nanophotonics III - A stimulated spontaneous down conversion effect

Rusu, Al., Rusu, L., Vlad, Valentin I.

Year:

2013

Language:

english

File:

PDF, 264 KB

english, 2013

39

Multipurpose Equipment for Radio Frequency Plasma Decontamination and Protective Coating of Paper Materials

Ioanid, Emil Ghiocel, Rusu, Dorina E., Vlad, Ana M., Dunca, Simona, Tanase, Catalin, Frunza, Viorica, Savin, Gabriela, Ursescu, Marta C.

Journal:

IEEE Transactions on Plasma Science

Year:

2016

Language:

english

File:

PDF, 1.64 MB

english, 2016

40

Ensuring the conformance of reactive discrete-event systems by means of supervisory control

Jéron *, Thierry, Marchand, Hervé, Rusu, Vlad, Tschaen, Valéry

Journal:

International Journal of Production Research

Year:

2004

Language:

english

File:

PDF, 234 KB

english, 2004

41

SPIE Proceedings [SPIE ROMOPTO '97: Fifth Conference on Optics - Bucharest, Romania (Tuesday 9 September 1997)] ROMOPTO '97: Fifth Conference on Optics - IR absorption of TiO2 thin films

Stamate, Marius D., Rusu, G. I., Vascan, Ioan, Vlad, Valentin I., Dumitras, Dan C.

Year:

1998

Language:

english

File:

PDF, 214 KB

english, 1998

42

SPIE Proceedings [SPIE SPIE Proceedings - (Sunday 12 February 2012)] - An Er:YAG blood sampling skin puncher

Savastru, D., Ristici, Esofina, Mustata, Marina, Miclos, S., Rusu, M., Radu, C., Savu, V., Vlad, Valentin I.

Year:

2012

Language:

english

File:

PDF, 951 KB

english, 2012

43

Trends in 3D Printing Processes for Biomedical Field: Opportunities and Challenges

Ghilan, Alina, Chiriac, Aurica P., Nita, Loredana E., Rusu, Alina G., Neamtu, Iordana, Chiriac, Vlad Mihai

Journal:

Journal of Polymers and the Environment

Year:

2020

File:

PDF, 2.18 MB

2020

44

Analyzing Automata with Presburger Arithmetic and Uninterpreted Function Symbols

Vlad Rusu, Elena Zinovieva

Journal:

Electronic Notes in Theoretical Computer Science

Year:

2001

Language:

english

File:

PDF, 325 KB

english, 2001

45

A Bis(pyrrole) Schiff Base Containing a Flexible Siloxane Bridge and Its NiII Complex

Angelica Vlad, Constantin Turta, Maria Cazacu, Elena Rusu, Sergiu Shova

Journal:

European Journal of Inorganic Chemistry

Year:

2012

Language:

english

File:

PDF, 403 KB

english, 2012

46

Embedding domain-specific modelling languages in Maude specifications

Journal:

Software & Systems Modeling

Year:

2013

Language:

english

File:

PDF, 1.80 MB

english, 2013

47

[IEEE 2010 9th International Symposium on Parallel and Distributed Computing (ISPDC) - Istanbul, Turkey (2010.07.7-2010.07.9)] 2010 Ninth International Symposium on Parallel and Distributed Computing - Operational Semantics of the Marte Repetitive Structure Modeling Concepts for Data-Parallel Applications Design

Gamatié, Abdoulaye, Rusu, Vlad, Rutten, Éric

Year:

2010

Language:

english

File:

PDF, 408 KB

english, 2010

48

Proving partial-correctness and invariance properties of transition-system models

Rusu, Vlad, Grimaud, Gilles, Hauspie, Michaël

Journal:

Science of Computer Programming

Year:

2020

File:

PDF, 534 KB

2020

49

Prevalence of steatosis and insulin resistance in patients with chronic hepatitis B compared with chronic hepatitis C and non-alcoholic fatty liver disease

Pais, Raluca, Rusu, Elena, Zilisteanu, Diana, Circiumaru, Alexandra, Micu, Laurentiu, Voiculescu, Mihai, Poynard, Thierry, Ratziu, Vlad

Journal:

European Journal of Internal Medicine

Year:

2015

Language:

english

File:

PDF, 339 KB

english, 2015

50

Formal executable semantics for conformance in the MDE framework

Marina Egea, Vlad Rusu

Journal:

Innovations in Systems and Software Engineering

Year:

2010

Language:

english

File:

PDF, 958 KB

english, 2010

To build up a library is to create a life. It’s never just a random collection of books.

— Carlos María Domínguez

Official channel

Z-Library Desktop Launcher

Z-Library Since 2009 support@1delivery.pm

EnglishРусскийEspañolItalianoελληνικάاللغة العربيةBahasa IndonesiaBahasa Malaysiaहिन्दीDeutschFrançaisPortuguêsУкраїнськаPolski中文繁體中文日本語Tiếng ViệtAzərbaycan DiliՀայոց լեզուภาษาไทยTürk Diliქართველიবাংলাپښتوతెలుగుاردو한국어SrpskiБългарски